Bounded Limit Recursiveness
نویسنده
چکیده
Let X be a Turing oracle. A function f(n) is said to be boundedly limit recursive in X if it is the limit of an X-recursive sequence of X-recursive functions f̃(n, s) such that the number of times f̃(n, s) changes is bounded by a recursive function of n. Let us say that X is BLR-low if every function which is boundedly limit recursive in X is boundedly limit recursive in 0. This is a lowness property in the sense of Nies. These notions were introduced by Joshua A. Cole and the speaker in a recently submitted paper on mass problems and hyperarithmeticity. The purpose of this talk is to compare BLR-lowness to similar properties which have been considered in the recursion-theoretic literature. Among the properties discussed are: K-triviality, superlowness, jump-traceability, weak jump-traceability, total ω-recursive enumerability, array recursiveness, array jump-recursiveness, and strong jump-traceability.
منابع مشابه
Inductive inference of approximations for recursive concepts
This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios where the learner is successful if its final hypothesis describes a finite variant of the target concept, i.e., learning with anomalies. Learning from positive data only and from both positive and negative data is distinguished. The following learning models are studied: learning in ...
متن کاملLearning Approximations of Recursive Concepts Learning Approximations of Recursive Concepts
This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios where the learner is successful if its nal hypothesis describes a nite variant of the target concept, i.e., learning with anomalies. Learning from positive data only and from both positive and negative data is distinguished. The following learning models are studied: learning in the ...
متن کاملTowards a Theory of Abstract Data Types: A Discussion on Problems and Tools
This paper aims to show that, in order to capture a quite relevant feature such as the recursiveness of abstract data types, Model Theory works better than Category Theory. First, various eategorial notions such as "initiality", "finality", "monoinitiality", "epifinality", "weak monoinitiality" and "weak epifinality' are analyzed, from a model theoretic point of view, as regards the "abstractne...
متن کاملA New Approach for Stress State - Dependent Flow Localization Failure Bounded Through Ductile Damage in Dynamically Loaded Sheets
In this paper, a new approach is proposed for stress state - dependent flow localization in bifurcation failure model bounded through ductile damage in dynamically loaded sheets. Onset of localized necking is considered in phenomenological way for different strain rates to draw the forming limit diagram (FLD). Using a strain metal hardening exponent in the Vertex theory related to the strain ra...
متن کاملBifurcation of limit cycles from a quadratic reversible center with the unbounded elliptic separatrix
The paper is concerned with the bifurcation of limit cycles in general quadratic perturbations of a quadratic reversible and non-Hamiltonian system, whose period annulus is bounded by an elliptic separatrix related to a singularity at infinity in the poincar'{e} disk. Attention goes to the number of limit cycles produced by the period annulus under perturbations. By using the appropriate Picard...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007